" Gèrard Huet" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

Logical frameworks

Автор: Gèrard Huet, Автор: Gordon Plotkin

Размер книги: 4.28 Mb

Sanskrit Computational Linguistics: Third International Symposium, Hyderabad, India, January 15-17, 2009. Proceedings

Автор: Amba Kulkarni, Автор: Gèrard Huet

Размер книги: 5.81 Mb

Sanskrit Computational Linguistics, 1 and 2 conf. 2007 and 2008

Автор: Gérard Huet, Автор: Amba Kulkarni, Автор: Peter Scharf

Категория: CsLn_

Размер книги: 9.82 Mb

From Semantics to Computer Science: Essays in Honour of Gilles Kahn

Автор: Yves Bertot, Автор: Gérard Huet, Автор: Jean-Jacques Lévy, Автор: Gordon Plotkin

Размер книги: 4.04 Mb